Sergio Mover
EMSOFT 2017: 17th International Conference on Embedded Software
Compositional Relational Abstraction for Nonlinear Hybrid Systems
EMSOFT 2013: 13th International Conference on Embedded Software
Time-Aware Relational Abstractions for Hybrid Systems